Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
221	1 Translating SCXML Statecharts to iUML-B State-machines Karla Morris1 and Colin Snook2 1 Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:50:39 SCXML Models of computation State diagram Formal methods Refinement
222	Rodin in the field of railway system engineering Tomas Fischer, Thales Austria GmbH www.thalesgroup.com Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:59:22 Formal methods Process management Project management Systems engineering Rodin tool Domain-driven design SIGNAL Capella Business process Rodin B-Method Feature-driven development
223	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
224	Towards Modular Development in Event-B Thai Son Hoang1 , Hironobu Kuruma2 , and Michael Butler1 1 2 Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:35:28 Formal methods B-Method Refinement
225	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
226	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
227	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason
228	21907501905Expert Software Engineer JVB B1 Closing date - ongoing £38,125 – £42,000, with the possibility of an RRA of £3900 Add to Reading List Source URL: www.ukho.gov.uk Language: English - Date: 2016-07-14 10:49:59 Human resource management Competence Formal methods Software development process Software development ITIL Requirement
229	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
230	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D4 Traceable Requirements Document for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-04 06:06:20 Software requirements Systems engineering Specification Requirement Rodin tool 3GPP UMTS Formal methods System requirements

UPDATE